ConstPropStatus (11 Nov 2007 - 14:46 - NEW - EricBouwers)

PHP-Sat offers the functionality to automatically analyze files which are included with the require_*=/=include_* functions of PHP.

Many projects use some kind of include $prefix.'filename'.$postfix; syntax to make sure that their code can run under multiple configurations. To make sure that these projects can also be analyzed by PHP-Sat we have (partially) included constant-propagation to statically determine which files are included.

Currently, the constant propagation is capable of correctly propagating values through:

Operator-expressions
Control-flow statements

This means PHP-Sat offers inclusion support for procedural scripts without function calls.

In the future the inclusion-support will be extended to support:

Function calls
Object creations

as far as static analyzes allows these constructs.

ContinuousBuilds (22 Mar 2009 - 11:36 - r1.4 - EricBouwers)

The Nix buildfarm continuously builds PHP-front and PHP-sat packages.

Reports

Reports and logs from the build tasks are available at:

http://hydra.nixos.org/jobset/psat

Some more direct links:

GenericDevelopmentInstructions (14 Nov 2009 - 18:38 - r1.7 - EricBouwers)

This page describes how you can set up your development environment for PHP-Sat/PHP-Front. Most of the information is located elsewhere, if a link is dead please let us know.
This configuration is the same configuration as the one that I am personally using.

Installing Nix

Information about installing NIX is available here.
Note that the manual installation of nix-packages goes more smoothly if you set the permissions in the right way.

Installing Stratego

The simplest way to install everything you need is to use this and this nix-channel.

$ nix-channel --add http://hydra.nixos.org/jobset/nixpkgs/trunk/channel/latest
$ nix-channel --add http://hydra.nixos.org/project/strategoxt/channel/latest
$ nix-channel --update

You can use this command to install all dependencies:

$ nix-env -i aterm-2.5 sdf2-bundle strategoxt strategoxt-utils stratego-shell

Note that the stratego-libraries are not installed, they are for other platforms. And this one to update everything:

$ nix-channel --update 
$ nix-env -u '*'

Installing Autoconf and Libtool

In order to build from source you need to have both the Autoconf and libtool tools installed. If you do not have a copy of them available, you can either install these from the release page of these tools, or through nix:

$ nix-env -i autoconf libtool

Installing the repositories

The 'php-*' stands for both 'php-front and php-sat'

The first thing that has to be done is the correct setting of the PKG_CONFIG_PATH-variable.

$ export PKG_CONFIG_PATH=~/.nix-profile/lib/pkgconfig

When this is not done the configure script will not find the ATerm, SDF or StrategoXT-files.

The rest of the repository installation is straight-forward, just use the following sequence of commands in the location of your choice.
(The <repository> is https://svn.strategoxt.org/repos)

$ svn checkout <repository>/psat/php-*/trunk ./php-*/
$ cd php-*
$ ./bootstrap
$ ./configure --enable-bootstrap 
$ make
$ make check
$ make install

This sequence gets the latests source-code, configures (the --enable-bootstrap is required!) and builds, checks and installs everything.

Setting up your editor

There are several editor plug-ins for stratego, you can find them here.

There are also highlighters available for Context. There is one for SDF and one for testsuites.

Have fun

Your development environment is ready. If you make anything useful please let us know, happy coding!

MailingList (11 Nov 2007 - 13:51 - r1.4 - EricBouwers)

There are two mailing lists that you may want to subscribe to.

psat-commits -- All SVN-, Jira- and Buildfarm-messages. To stay really up to date.

psat-dev -- List for questions and discussions about features or bugs in PHP-SAT

All lists are subscriber post only.

The mailing lists are going to be changed in the future. We will probably migrate to a new URL which is institute-independent. All users will be notified when this change happens.

You can stay up to date with this site by checking out the RSS-feed

McvStatus (11 Nov 2007 - 14:19 - NEW - EricBouwers)

The following programming constructs are currently supported by the MCV000-pattern:

Operator Expressions
Control-flow statements

This means that the security check is capable of analyzing a single procedural script without function calls.

Future versions of this pattern will also support:

Function calls
Object creation

as far as static analysis allows the support of these constructs

PhpFront (10 Mar 2007 - 16:46 - r1.7 - MartinBravenboer)

Features

PHP-front is a package you can use to generate, analyse, or transform PHP code. It contains a handcrafted SDF grammar for PHP, a handcrafted pretty printer, an extensive library for reflecting over PHP code, and support for evaluation of PHP.

Some of the unique features of PHP-front are:

Modular and extensible syntax definition for PHP for versions 4 and 5
Option to preserve comments
Pretty printer
Automatic inclusion of files
PHP-specific, common traversals
Reflection support
Conversion of abstract syntax tree to XML possible

Tools

Tools that are included in the package are:

parse-php
parse-php4, parse-php5
pp-php
pp-php4, pp-php5
eval-php

Project Info

Contributors:

Eric Bouwers
Martin Bravenboer

Feedback and bug reports:

Armijn Hemel
Tim Hemel
Eelco Visser

Sponsors:

Google Summer of Code 2006

License:

PHP-Front is LGPL (GNU Lesser General Public License) software.

Projects that use PHP-Front

Notes:

Do not edit this topic, it is updated automatically. (You can also force an update)
TWikiDocumentation tells you how to enable the automatic updates of the statistics.
Suggestion: You could archive this topic once a year and delete the previous year's statistics from the table.

WebTools (08 Nov 2001 - 09:49 - NEW - TWikiGuest)

Finding topics

RoadMap^?
WebIndex: all topics in the PHP web
WebSearch: find topics

Tracking activity

WebNews: selected changes
WebChanges: recent changes
WebNotify: email notification of changes
WebStatistics: usage counts

Look and feel

WebPreferences: values of variables
WebContents^?: web specific entries in the side bar

WebTopicList (24 Nov 2001 - 11:40 - NEW - PeterThoeny)